3.7.48 \(\int \sec ^2(c+d x) (a+b \tan (c+d x))^n \, dx\) [648]

Optimal. Leaf size=26 \[ \frac {(a+b \tan (c+d x))^{1+n}}{b d (1+n)} \]

[Out]

(a+b*tan(d*x+c))^(1+n)/b/d/(1+n)

________________________________________________________________________________________

Rubi [A]
time = 0.03, antiderivative size = 26, normalized size of antiderivative = 1.00, number of steps used = 2, number of rules used = 2, integrand size = 21, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.095, Rules used = {3587, 32} \begin {gather*} \frac {(a+b \tan (c+d x))^{n+1}}{b d (n+1)} \end {gather*}

Antiderivative was successfully verified.

[In]

Int[Sec[c + d*x]^2*(a + b*Tan[c + d*x])^n,x]

[Out]

(a + b*Tan[c + d*x])^(1 + n)/(b*d*(1 + n))

Rule 32

Int[((a_.) + (b_.)*(x_))^(m_), x_Symbol] :> Simp[(a + b*x)^(m + 1)/(b*(m + 1)), x] /; FreeQ[{a, b, m}, x] && N
eQ[m, -1]

Rule 3587

Int[sec[(e_.) + (f_.)*(x_)]^(m_)*((a_) + (b_.)*tan[(e_.) + (f_.)*(x_)])^(n_), x_Symbol] :> Dist[1/(b*f), Subst
[Int[(a + x)^n*(1 + x^2/b^2)^(m/2 - 1), x], x, b*Tan[e + f*x]], x] /; FreeQ[{a, b, e, f, n}, x] && NeQ[a^2 + b
^2, 0] && IntegerQ[m/2]

Rubi steps

\begin {align*} \int \sec ^2(c+d x) (a+b \tan (c+d x))^n \, dx &=\frac {\text {Subst}\left (\int (a+x)^n \, dx,x,b \tan (c+d x)\right )}{b d}\\ &=\frac {(a+b \tan (c+d x))^{1+n}}{b d (1+n)}\\ \end {align*}

________________________________________________________________________________________

Mathematica [A]
time = 0.19, size = 26, normalized size = 1.00 \begin {gather*} \frac {(a+b \tan (c+d x))^{1+n}}{b d (1+n)} \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[Sec[c + d*x]^2*(a + b*Tan[c + d*x])^n,x]

[Out]

(a + b*Tan[c + d*x])^(1 + n)/(b*d*(1 + n))

________________________________________________________________________________________

Maple [A]
time = 0.14, size = 27, normalized size = 1.04

method	result	size
derivativedivides	\(\frac {\left (a +b \tan \left (d x +c \right )\right )^{1+n}}{b d \left (1+n \right )}\)	\(27\)
default	\(\frac {\left (a +b \tan \left (d x +c \right )\right )^{1+n}}{b d \left (1+n \right )}\)	\(27\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(sec(d*x+c)^2*(a+b*tan(d*x+c))^n,x,method=_RETURNVERBOSE)

[Out]

(a+b*tan(d*x+c))^(1+n)/b/d/(1+n)

________________________________________________________________________________________

Maxima [A]
time = 0.29, size = 26, normalized size = 1.00 \begin {gather*} \frac {{\left (b \tan \left (d x + c\right ) + a\right )}^{n + 1}}{b d {\left (n + 1\right )}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(sec(d*x+c)^2*(a+b*tan(d*x+c))^n,x, algorithm="maxima")

[Out]

(b*tan(d*x + c) + a)^(n + 1)/(b*d*(n + 1))

________________________________________________________________________________________

Fricas [B] Leaf count of result is larger than twice the leaf count of optimal. 64 vs. \(2 (26) = 52\).
time = 0.34, size = 64, normalized size = 2.46 \begin {gather*} \frac {{\left (a \cos \left (d x + c\right ) + b \sin \left (d x + c\right )\right )} \left (\frac {a \cos \left (d x + c\right ) + b \sin \left (d x + c\right )}{\cos \left (d x + c\right )}\right )^{n}}{{\left (b d n + b d\right )} \cos \left (d x + c\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(sec(d*x+c)^2*(a+b*tan(d*x+c))^n,x, algorithm="fricas")

[Out]

(a*cos(d*x + c) + b*sin(d*x + c))*((a*cos(d*x + c) + b*sin(d*x + c))/cos(d*x + c))^n/((b*d*n + b*d)*cos(d*x +
c))

________________________________________________________________________________________

Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \left (a + b \tan {\left (c + d x \right )}\right )^{n} \sec ^{2}{\left (c + d x \right )}\, dx \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(sec(d*x+c)**2*(a+b*tan(d*x+c))**n,x)

[Out]

Integral((a + b*tan(c + d*x))**n*sec(c + d*x)**2, x)

________________________________________________________________________________________

Giac [F(-2)]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Exception raised: TypeError} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(sec(d*x+c)^2*(a+b*tan(d*x+c))^n,x, algorithm="giac")

[Out]

Exception raised: TypeError >> An error occurred running a Giac command:INPUT:sage2:=int(sage0,sageVARx):;OUTP
UT:Unable to divide, perhaps due to rounding error%%%{1,[0,1,0,0]%%%} / %%%{1,[0,0,1,1]%%%} Error: Bad Argumen
t Value

________________________________________________________________________________________

Mupad [B]
time = 4.31, size = 51, normalized size = 1.96 \begin {gather*} \left \{\begin {array}{cl} \frac {\ln \left (a+b\,\mathrm {tan}\left (c+d\,x\right )\right )}{b\,d} & \text {\ if\ \ }n=-1\\ \frac {{\left (a+b\,\mathrm {tan}\left (c+d\,x\right )\right )}^{n+1}}{b\,d\,\left (n+1\right )} & \text {\ if\ \ }n\neq -1 \end {array}\right . \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((a + b*tan(c + d*x))^n/cos(c + d*x)^2,x)

[Out]

piecewise(n == -1, log(a + b*tan(c + d*x))/(b*d), n ~= -1, (a + b*tan(c + d*x))^(n + 1)/(b*d*(n + 1)))

________________________________________________________________________________________